Search results for " generalized quantifiers"

showing 1 items of 1 documents

Probabilistic semantics for categorical syllogisms of Figure II

2018

A coherence-based probability semantics for categorical syllogisms of Figure I, which have transitive structures, has been proposed recently (Gilio, Pfeifer, & Sanfilippo [15]). We extend this work by studying Figure II under coherence. Camestres is an example of a Figure II syllogism: from Every P is M and No S is M infer No S is P. We interpret these sentences by suitable conditional probability assessments. Since the probabilistic inference of \(\bar{P}|S\) from the premise set \(\{M|P,\bar{M}|S\}\) is not informative, we add \(p(S|(S \vee P))>0\) as a probabilistic constraint (i.e., an “existential import assumption”) to obtain probabilistic informativeness. We show how to propagate the…

Transitive relationSequenceSettore MAT/06 - Probabilita' E Statistica MatematicaProbabilistic logicSyllogismConditional probability02 engineering and technologyCoherence (philosophical gambling strategy)Imprecise probabilityCombinatoricscoherence conditional events defaults generalized quantifiers imprecise probability.020204 information systems0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingCategorical variableMathematics
researchProduct